Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.
In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | A | B | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 237 | 237 | 130 | 190 | 191 | 366 | 0 | 0 | 214 |
N.S. | 1 | 1.00 | 0.55 | 0.80 | 0.81 | 1.54 | 0.00 | 0.00 | 0.90 |
time (sec) |
N/A | 0.231 | 1.024 | 0.117 | 0.522 | 1.219 | 0.000 | 0.000 | 0.186 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | A | B | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 213 | 213 | 128 | 168 | 173 | 346 | 0 | 0 | 217 |
N.S. | 1 | 1.00 | 0.60 | 0.79 | 0.81 | 1.62 | 0.00 | 0.00 | 1.02 |
time (sec) |
N/A | 0.150 | 0.779 | 0.109 | 0.599 | 1.011 | 0.000 | 0.000 | 0.682 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | A | B | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 205 | 205 | 130 | 171 | 171 | 360 | 0 | 0 | 193 |
N.S. | 1 | 1.00 | 0.63 | 0.83 | 0.83 | 1.76 | 0.00 | 0.00 | 0.94 |
time (sec) |
N/A | 0.114 | 0.708 | 0.105 | 0.508 | 1.399 | 0.000 | 0.000 | 3.971 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | A | B | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 213 | 213 | 128 | 177 | 164 | 346 | 0 | 0 | 217 |
N.S. | 1 | 1.00 | 0.60 | 0.83 | 0.77 | 1.62 | 0.00 | 0.00 | 1.02 |
time (sec) |
N/A | 0.099 | 0.464 | 0.095 | 0.524 | 1.575 | 0.000 | 0.000 | 4.423 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | A | B | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 313 | 313 | 189 | 0 | 265 | 633 | 0 | 0 | 822 |
N.S. | 1 | 1.00 | 0.60 | 0.00 | 0.85 | 2.02 | 0.00 | 0.00 | 2.63 |
time (sec) |
N/A | 0.420 | 1.690 | 0.457 | 0.596 | 1.466 | 0.000 | 0.000 | 3.977 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | A | B | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 354 | 354 | 233 | 0 | 310 | 792 | 0 | 0 | 893 |
N.S. | 1 | 1.00 | 0.66 | 0.00 | 0.88 | 2.24 | 0.00 | 0.00 | 2.52 |
time (sec) |
N/A | 0.508 | 2.067 | 0.457 | 0.531 | 1.587 | 0.000 | 0.000 | 5.993 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 213 | 213 | 331 | 177 | 164 | 336 | 0 | 0 | 233 |
N.S. | 1 | 1.00 | 1.55 | 0.83 | 0.77 | 1.58 | 0.00 | 0.00 | 1.09 |
time (sec) |
N/A | 0.105 | 1.544 | 0.105 | 0.511 | 0.972 | 0.000 | 0.000 | 3.989 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 43 | 43 | 159 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 3.70 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.02 |
time (sec) |
N/A | 0.036 | 0.866 | 0.405 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 43 | 43 | 44 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.02 |
time (sec) |
N/A | 0.034 | 0.074 | 0.404 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 189 | 189 | 1065 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 5.63 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.367 | 8.947 | 1.125 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 127 | 127 | 900 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 7.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.185 | 8.286 | 1.026 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 75 | 75 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.081 | 2.597 | 0.504 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 43 | 43 | 159 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 3.70 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.02 |
time (sec) |
N/A | 0.032 | 0.812 | 0.380 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F(-2) | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 158 | 158 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.134 | 15.866 | 1.137 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F(-2) | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 209 | 209 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.259 | 5.878 | 1.233 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F(-2) | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 274 | 274 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.459 | 16.623 | 1.217 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F(-2) | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 326 | 326 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.662 | 22.753 | 1.428 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 43 | 43 | 44 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.02 |
time (sec) |
N/A | 0.034 | 0.081 | 0.372 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F(-2) | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 158 | 158 | 123 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.78 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.123 | 0.767 | 0.625 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 89 | 89 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.095 | 2.245 | 0.951 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 89 | 89 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.082 | 1.157 | 1.310 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F(-1) | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 88 | 88 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.086 | 180.002 | 1.322 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F(-2) | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 91 | 91 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.092 | 35.579 | 1.240 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 88 | 88 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.071 | 5.479 | 0.780 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 205 | 205 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.251 | 43.489 | 0.896 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 144 | 144 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.139 | 33.168 | 1.089 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 82 | 82 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.048 | 16.301 | 0.992 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 70 | 70 | 153 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.039 | 4.965 | 0.779 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 49 | 49 | 128 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.61 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.02 |
time (sec) |
N/A | 0.018 | 0.498 | 0.802 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 89 | 89 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.100 | 10.666 | 1.577 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 116 | 116 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.174 | 18.727 | 1.738 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 81 | 81 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.085 | 11.357 | 1.653 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 81 | 81 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.084 | 5.209 | 1.726 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 79 | 79 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.068 | 5.257 | 1.701 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | F | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 79 | 79 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.086 | 3.213 | 1.640 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 115 | 115 | 117 | 318 | 141 | 241 | 0 | 314 | 144 |
N.S. | 1 | 1.00 | 1.02 | 2.77 | 1.23 | 2.10 | 0.00 | 2.73 | 1.25 |
time (sec) |
N/A | 0.109 | 0.848 | 0.492 | 0.499 | 1.485 | 0.000 | 0.732 | 5.466 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 93 | 93 | 105 | 303 | 122 | 196 | 0 | 290 | 98 |
N.S. | 1 | 1.00 | 1.13 | 3.26 | 1.31 | 2.11 | 0.00 | 3.12 | 1.05 |
time (sec) |
N/A | 0.076 | 0.465 | 0.276 | 0.520 | 1.473 | 0.000 | 0.638 | 4.836 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 72 | 72 | 92 | 288 | 106 | 167 | 0 | 249 | 125 |
N.S. | 1 | 1.00 | 1.28 | 4.00 | 1.47 | 2.32 | 0.00 | 3.46 | 1.74 |
time (sec) |
N/A | 0.050 | 0.110 | 0.234 | 0.496 | 1.539 | 0.000 | 0.603 | 4.464 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 50 | 50 | 74 | 272 | 80 | 133 | 0 | 232 | 65 |
N.S. | 1 | 1.00 | 1.48 | 5.44 | 1.60 | 2.66 | 0.00 | 4.64 | 1.30 |
time (sec) |
N/A | 0.030 | 0.092 | 0.250 | 0.513 | 1.132 | 0.000 | 0.616 | 4.302 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 74 | 74 | 64 | 293 | 102 | 205 | 0 | 253 | 84 |
N.S. | 1 | 1.00 | 0.86 | 3.96 | 1.38 | 2.77 | 0.00 | 3.42 | 1.14 |
time (sec) |
N/A | 0.060 | 0.144 | 0.202 | 0.502 | 1.362 | 0.000 | 0.662 | 4.577 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 98 | 98 | 68 | 308 | 121 | 236 | 0 | 275 | 103 |
N.S. | 1 | 1.00 | 0.69 | 3.14 | 1.23 | 2.41 | 0.00 | 2.81 | 1.05 |
time (sec) |
N/A | 0.093 | 0.161 | 0.200 | 0.516 | 0.970 | 0.000 | 0.735 | 5.190 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 121 | 121 | 68 | 323 | 143 | 261 | 0 | 295 | 120 |
N.S. | 1 | 1.00 | 0.56 | 2.67 | 1.18 | 2.16 | 0.00 | 2.44 | 0.99 |
time (sec) |
N/A | 0.125 | 0.196 | 0.201 | 0.526 | 0.876 | 0.000 | 0.775 | 5.805 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 269 | 269 | 187 | 187 | 219 | 775 | 0 | 293 | 125 |
N.S. | 1 | 1.00 | 0.70 | 0.70 | 0.81 | 2.88 | 0.00 | 1.09 | 0.46 |
time (sec) |
N/A | 0.199 | 1.290 | 0.253 | 0.509 | 1.489 | 0.000 | 0.788 | 5.305 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 246 | 246 | 52 | 172 | 203 | 774 | 0 | 274 | 104 |
N.S. | 1 | 1.00 | 0.21 | 0.70 | 0.83 | 3.15 | 0.00 | 1.11 | 0.42 |
time (sec) |
N/A | 0.161 | 0.397 | 0.259 | 0.524 | 1.178 | 0.000 | 0.684 | 4.641 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 244 | 244 | 175 | 170 | 200 | 698 | 0 | 249 | 104 |
N.S. | 1 | 1.00 | 0.72 | 0.70 | 0.82 | 2.86 | 0.00 | 1.02 | 0.43 |
time (sec) |
N/A | 0.158 | 0.462 | 0.249 | 0.523 | 1.039 | 0.000 | 0.758 | 4.380 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 222 | 222 | 53 | 155 | 183 | 671 | 0 | 222 | 86 |
N.S. | 1 | 1.00 | 0.24 | 0.70 | 0.82 | 3.02 | 0.00 | 1.00 | 0.39 |
time (sec) |
N/A | 0.140 | 0.264 | 0.220 | 0.515 | 1.150 | 0.000 | 0.662 | 4.065 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 222 | 222 | 232 | 159 | 182 | 790 | 0 | 225 | 86 |
N.S. | 1 | 1.00 | 1.05 | 0.72 | 0.82 | 3.56 | 0.00 | 1.01 | 0.39 |
time (sec) |
N/A | 0.143 | 1.874 | 0.190 | 0.520 | 1.139 | 0.000 | 0.725 | 4.252 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 247 | 247 | 229 | 174 | 205 | 823 | 0 | 249 | 100 |
N.S. | 1 | 1.00 | 0.93 | 0.70 | 0.83 | 3.33 | 0.00 | 1.01 | 0.40 |
time (sec) |
N/A | 0.168 | 1.395 | 0.192 | 0.509 | 0.944 | 0.000 | 0.717 | 4.347 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 210 | 210 | 375 | 369 | 209 | 358 | 0 | 446 | 185 |
N.S. | 1 | 1.00 | 1.79 | 1.76 | 1.00 | 1.70 | 0.00 | 2.12 | 0.88 |
time (sec) |
N/A | 0.226 | 4.541 | 0.439 | 0.516 | 1.020 | 0.000 | 1.019 | 7.039 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 186 | 186 | 729 | 354 | 187 | 321 | 0 | 405 | 176 |
N.S. | 1 | 1.00 | 3.92 | 1.90 | 1.01 | 1.73 | 0.00 | 2.18 | 0.95 |
time (sec) |
N/A | 0.195 | 6.105 | 0.321 | 0.518 | 1.117 | 0.000 | 0.992 | 5.959 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 160 | 160 | 332 | 339 | 171 | 273 | 0 | 379 | 143 |
N.S. | 1 | 1.00 | 2.08 | 2.12 | 1.07 | 1.71 | 0.00 | 2.37 | 0.89 |
time (sec) |
N/A | 0.168 | 2.778 | 0.365 | 0.521 | 1.348 | 0.000 | 0.861 | 5.149 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 138 | 138 | 315 | 323 | 149 | 231 | 0 | 344 | 137 |
N.S. | 1 | 1.00 | 2.28 | 2.34 | 1.08 | 1.67 | 0.00 | 2.49 | 0.99 |
time (sec) |
N/A | 0.133 | 1.842 | 0.331 | 0.506 | 1.091 | 0.000 | 0.728 | 4.618 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 117 | 117 | 553 | 309 | 130 | 210 | 0 | 313 | 100 |
N.S. | 1 | 1.00 | 4.73 | 2.64 | 1.11 | 1.79 | 0.00 | 2.68 | 0.85 |
time (sec) |
N/A | 0.110 | 6.088 | 0.266 | 0.499 | 0.869 | 0.000 | 0.713 | 4.259 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 114 | 114 | 314 | 305 | 122 | 239 | 0 | 299 | 118 |
N.S. | 1 | 1.00 | 2.75 | 2.68 | 1.07 | 2.10 | 0.00 | 2.62 | 1.04 |
time (sec) |
N/A | 0.111 | 1.757 | 0.207 | 0.499 | 0.891 | 0.000 | 0.730 | 4.196 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 117 | 117 | 272 | 303 | 129 | 244 | 0 | 299 | 102 |
N.S. | 1 | 1.00 | 2.32 | 2.59 | 1.10 | 2.09 | 0.00 | 2.56 | 0.87 |
time (sec) |
N/A | 0.122 | 4.167 | 0.207 | 0.511 | 1.033 | 0.000 | 0.868 | 4.318 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 141 | 141 | 271 | 323 | 147 | 275 | 0 | 322 | 128 |
N.S. | 1 | 1.00 | 1.92 | 2.29 | 1.04 | 1.95 | 0.00 | 2.28 | 0.91 |
time (sec) |
N/A | 0.154 | 2.261 | 0.211 | 0.532 | 0.915 | 0.000 | 0.850 | 5.075 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 165 | 165 | 175 | 338 | 168 | 304 | 0 | 340 | 130 |
N.S. | 1 | 1.00 | 1.06 | 2.05 | 1.02 | 1.84 | 0.00 | 2.06 | 0.79 |
time (sec) |
N/A | 0.188 | 0.898 | 0.205 | 0.528 | 1.012 | 0.000 | 0.966 | 5.752 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 111 | 111 | 110 | 312 | 134 | 261 | 0 | 284 | 124 |
N.S. | 1 | 1.00 | 0.99 | 2.81 | 1.21 | 2.35 | 0.00 | 2.56 | 1.12 |
time (sec) |
N/A | 0.272 | 0.955 | 0.312 | 0.516 | 0.830 | 0.000 | 0.615 | 4.446 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 87 | 87 | 107 | 298 | 117 | 223 | 0 | 263 | 78 |
N.S. | 1 | 1.00 | 1.23 | 3.43 | 1.34 | 2.56 | 0.00 | 3.02 | 0.90 |
time (sec) |
N/A | 0.147 | 0.349 | 0.286 | 0.528 | 1.051 | 0.000 | 0.571 | 4.225 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 89 | 89 | 98 | 304 | 115 | 223 | 0 | 253 | 103 |
N.S. | 1 | 1.00 | 1.10 | 3.42 | 1.29 | 2.51 | 0.00 | 2.84 | 1.16 |
time (sec) |
N/A | 0.138 | 0.189 | 0.168 | 0.515 | 1.078 | 0.000 | 0.578 | 4.246 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 81 | 81 | 107 | 304 | 115 | 221 | 0 | 260 | 78 |
N.S. | 1 | 1.00 | 1.32 | 3.75 | 1.42 | 2.73 | 0.00 | 3.21 | 0.96 |
time (sec) |
N/A | 0.135 | 0.490 | 0.187 | 0.508 | 1.098 | 0.000 | 0.578 | 4.342 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 111 | 111 | 122 | 319 | 128 | 291 | 0 | 284 | 124 |
N.S. | 1 | 1.00 | 1.10 | 2.87 | 1.15 | 2.62 | 0.00 | 2.56 | 1.12 |
time (sec) |
N/A | 0.265 | 1.782 | 0.168 | 0.527 | 0.913 | 0.000 | 0.651 | 4.436 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 135 | 135 | 130 | 333 | 151 | 326 | 0 | 305 | 130 |
N.S. | 1 | 1.00 | 0.96 | 2.47 | 1.12 | 2.41 | 0.00 | 2.26 | 0.96 |
time (sec) |
N/A | 0.329 | 1.470 | 0.165 | 0.515 | 0.978 | 0.000 | 0.754 | 4.821 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 281 | 281 | 226 | 191 | 226 | 1840 | 0 | 254 | 376 |
N.S. | 1 | 1.00 | 0.80 | 0.68 | 0.80 | 6.55 | 0.00 | 0.90 | 1.34 |
time (sec) |
N/A | 0.340 | 3.551 | 0.162 | 0.533 | 1.503 | 0.000 | 0.782 | 4.689 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 279 | 279 | 229 | 197 | 229 | 1855 | 0 | 264 | 375 |
N.S. | 1 | 1.00 | 0.82 | 0.71 | 0.82 | 6.65 | 0.00 | 0.95 | 1.34 |
time (sec) |
N/A | 0.353 | 2.169 | 0.144 | 0.508 | 1.639 | 0.000 | 0.718 | 4.607 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 278 | 278 | 192 | 200 | 227 | 1763 | 0 | 260 | 367 |
N.S. | 1 | 1.00 | 0.69 | 0.72 | 0.82 | 6.34 | 0.00 | 0.94 | 1.32 |
time (sec) |
N/A | 0.324 | 1.421 | 0.178 | 0.505 | 1.356 | 0.000 | 0.651 | 4.578 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 281 | 281 | 337 | 197 | 226 | 1808 | 0 | 261 | 365 |
N.S. | 1 | 1.00 | 1.20 | 0.70 | 0.80 | 6.43 | 0.00 | 0.93 | 1.30 |
time (sec) |
N/A | 0.349 | 0.739 | 0.195 | 0.532 | 2.629 | 0.000 | 0.683 | 4.646 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 306 | 306 | 203 | 212 | 240 | 2384 | 0 | 291 | 415 |
N.S. | 1 | 1.00 | 0.66 | 0.69 | 0.78 | 7.79 | 0.00 | 0.95 | 1.36 |
time (sec) |
N/A | 0.482 | 1.383 | 0.168 | 0.517 | 2.182 | 0.000 | 0.752 | 4.715 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 331 | 331 | 203 | 227 | 265 | 2398 | 0 | 309 | 424 |
N.S. | 1 | 1.00 | 0.61 | 0.69 | 0.80 | 7.24 | 0.00 | 0.93 | 1.28 |
time (sec) |
N/A | 0.657 | 4.169 | 0.173 | 0.517 | 2.011 | 0.000 | 0.798 | 4.983 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 189 | 189 | 346 | 355 | 211 | 502 | 0 | 345 | 176 |
N.S. | 1 | 1.00 | 1.83 | 1.88 | 1.12 | 2.66 | 0.00 | 1.83 | 0.93 |
time (sec) |
N/A | 0.492 | 6.256 | 0.191 | 0.533 | 1.223 | 0.000 | 0.881 | 4.948 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 165 | 165 | 183 | 338 | 191 | 475 | 0 | 326 | 178 |
N.S. | 1 | 1.00 | 1.11 | 2.05 | 1.16 | 2.88 | 0.00 | 1.98 | 1.08 |
time (sec) |
N/A | 0.388 | 3.057 | 0.182 | 0.551 | 1.141 | 0.000 | 0.850 | 4.856 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 164 | 164 | 192 | 349 | 193 | 470 | 0 | 326 | 153 |
N.S. | 1 | 1.00 | 1.17 | 2.13 | 1.18 | 2.87 | 0.00 | 1.99 | 0.93 |
time (sec) |
N/A | 0.363 | 3.248 | 0.185 | 0.543 | 1.086 | 0.000 | 0.789 | 4.796 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 164 | 164 | 127 | 349 | 191 | 440 | 0 | 323 | 177 |
N.S. | 1 | 1.00 | 0.77 | 2.13 | 1.16 | 2.68 | 0.00 | 1.97 | 1.08 |
time (sec) |
N/A | 0.387 | 2.497 | 0.180 | 0.537 | 0.881 | 0.000 | 0.769 | 4.768 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 161 | 161 | 253 | 349 | 193 | 420 | 0 | 314 | 152 |
N.S. | 1 | 1.00 | 1.57 | 2.17 | 1.20 | 2.61 | 0.00 | 1.95 | 0.94 |
time (sec) |
N/A | 0.349 | 0.869 | 0.208 | 0.511 | 0.851 | 0.000 | 0.729 | 4.677 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 165 | 165 | 217 | 349 | 187 | 407 | 0 | 318 | 172 |
N.S. | 1 | 1.00 | 1.32 | 2.12 | 1.13 | 2.47 | 0.00 | 1.93 | 1.04 |
time (sec) |
N/A | 0.373 | 1.084 | 0.237 | 0.531 | 0.932 | 0.000 | 0.745 | 4.776 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 189 | 189 | 173 | 364 | 200 | 493 | 0 | 341 | 176 |
N.S. | 1 | 1.00 | 0.92 | 1.93 | 1.06 | 2.61 | 0.00 | 1.80 | 0.93 |
time (sec) |
N/A | 0.496 | 1.482 | 0.190 | 0.529 | 0.958 | 0.000 | 0.855 | 4.822 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | A | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 215 | 215 | 368 | 379 | 219 | 524 | 0 | 366 | 192 |
N.S. | 1 | 1.00 | 1.71 | 1.76 | 1.02 | 2.44 | 0.00 | 1.70 | 0.89 |
time (sec) |
N/A | 0.651 | 6.297 | 0.199 | 0.514 | 0.852 | 0.000 | 0.995 | 5.016 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 264 | 264 | 150 | 242 | 0 | 1099 | 0 | 278 | 135 |
N.S. | 1 | 1.00 | 0.57 | 0.92 | 0.00 | 4.16 | 0.00 | 1.05 | 0.51 |
time (sec) |
N/A | 0.384 | 1.858 | 0.423 | 0.000 | 0.995 | 0.000 | 0.684 | 6.026 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 208 | 208 | 100 | 230 | 0 | 1074 | 0 | 262 | 120 |
N.S. | 1 | 1.00 | 0.48 | 1.11 | 0.00 | 5.16 | 0.00 | 1.26 | 0.58 |
time (sec) |
N/A | 0.182 | 0.359 | 0.155 | 0.000 | 1.236 | 0.000 | 0.672 | 4.574 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 166 | 166 | 78 | 206 | 0 | 981 | 0 | 224 | 90 |
N.S. | 1 | 1.00 | 0.47 | 1.24 | 0.00 | 5.91 | 0.00 | 1.35 | 0.54 |
time (sec) |
N/A | 0.114 | 0.073 | 0.101 | 0.000 | 1.011 | 0.000 | 0.645 | 4.100 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | B | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 165 | 165 | 78 | 2750 | 0 | 1016 | 0 | 0 | 90 |
N.S. | 1 | 1.00 | 0.47 | 16.67 | 0.00 | 6.16 | 0.00 | 0.00 | 0.55 |
time (sec) |
N/A | 0.181 | 0.093 | 18.539 | 0.000 | 0.974 | 0.000 | 0.000 | 0.164 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | B | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 221 | 221 | 124 | 11217 | 0 | 1206 | 0 | 0 | 149 |
N.S. | 1 | 1.00 | 0.56 | 50.76 | 0.00 | 5.46 | 0.00 | 0.00 | 0.67 |
time (sec) |
N/A | 0.344 | 0.493 | 0.903 | 0.000 | 0.781 | 0.000 | 0.000 | 0.189 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | B | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 273 | 273 | 169 | 16923 | 0 | 1336 | 0 | 0 | 198 |
N.S. | 1 | 1.00 | 0.62 | 61.99 | 0.00 | 4.89 | 0.00 | 0.00 | 0.73 |
time (sec) |
N/A | 0.470 | 0.893 | 0.890 | 0.000 | 1.305 | 0.000 | 0.000 | 0.198 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 318 | 318 | 118 | 241 | 0 | 950 | 0 | 246 | 107 |
N.S. | 1 | 1.00 | 0.37 | 0.76 | 0.00 | 2.99 | 0.00 | 0.77 | 0.34 |
time (sec) |
N/A | 0.307 | 0.748 | 0.156 | 0.000 | 1.166 | 0.000 | 0.717 | 5.109 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 266 | 266 | 86 | 229 | 0 | 911 | 0 | 224 | 88 |
N.S. | 1 | 1.00 | 0.32 | 0.86 | 0.00 | 3.42 | 0.00 | 0.84 | 0.33 |
time (sec) |
N/A | 0.156 | 0.176 | 0.120 | 0.000 | 1.093 | 0.000 | 0.715 | 4.137 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F(-2) | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 247 | 247 | 67 | 217 | 0 | 805 | 0 | 266 | 73 |
N.S. |
1 | 1.00 | 0.27 | 0.88 | 0.00 | 3.26 | 0.00 | 1.08 | 0.30 |
time (sec) |
N/A | 0.135 | 0.031 | 0.231 | 0.000 | 1.521 | 0.000 | 0.792 | 0.184 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 288 | 288 | 102 | 8262 | 0 | 1058 | 0 | 330 | 121 |
N.S. | 1 | 1.00 | 0.35 | 28.69 | 0.00 | 3.67 | 0.00 | 1.15 | 0.42 |
time (sec) |
N/A | 0.249 | 0.264 | 0.798 | 0.000 | 1.153 | 0.000 | 1.096 | 3.893 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 346 | 346 | 151 | 13941 | 0 | 1202 | 0 | 359 | 175 |
N.S. | 1 | 1.00 | 0.44 | 40.29 | 0.00 | 3.47 | 0.00 | 1.04 | 0.51 |
time (sec) |
N/A | 0.429 | 0.441 | 0.867 | 0.000 | 1.177 | 0.000 | 1.199 | 0.191 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F(-1) | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 369 | 369 | 188 | 362 | 0 | 971 | 0 | 286 | 144 |
N.S. |
1 | 1.00 | 0.51 | 0.98 | 0.00 | 2.63 | 0.00 | 0.78 | 0.39 |
time (sec) |
N/A | 0.385 | 0.895 | 0.130 | 0.000 | 1.220 | 0.000 | 0.836 | 6.895 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 315 | 315 | 112 | 350 | 0 | 949 | 0 | 268 | 129 |
N.S. | 1 | 1.00 | 0.36 | 1.11 | 0.00 | 3.01 | 0.00 | 0.85 | 0.41 |
time (sec) |
N/A | 0.242 | 0.640 | 0.150 | 0.000 | 1.451 | 0.000 | 0.802 | 5.244 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 271 | 271 | 90 | 326 | 0 | 912 | 0 | 237 | 99 |
N.S. | 1 | 1.00 | 0.33 | 1.20 | 0.00 | 3.37 | 0.00 | 0.87 | 0.37 |
time (sec) |
N/A | 0.159 | 0.232 | 0.083 | 0.000 | 1.349 | 0.000 | 0.786 | 4.375 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | B | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 253 | 253 | 78 | 2377 | 0 | 878 | 0 | 0 | 85 |
N.S. | 1 | 1.00 | 0.31 | 9.40 | 0.00 | 3.47 | 0.00 | 0.00 | 0.34 |
time (sec) |
N/A | 0.191 | 0.192 | 0.720 | 0.000 | 1.152 | 0.000 | 0.000 | 0.153 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | B | F | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 307 | 307 | 4055 | 9665 | 0 | 1071 | 0 | 0 | 142 |
N.S. | 1 | 1.00 | 13.21 | 31.48 | 0.00 | 3.49 | 0.00 | 0.00 | 0.46 |
time (sec) |
N/A | 0.313 | 27.710 | 0.723 | 0.000 | 1.128 | 0.000 | 0.000 | 3.975 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F(-1) | B | F | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 361 | 361 | 4084 | 14663 | 0 | 1200 | 0 | 0 | 193 |
N.S. |
1 | 1.00 | 11.31 | 40.62 | 0.00 | 3.32 | 0.00 | 0.00 | 0.53 |
time (sec) |
N/A | 0.463 | 21.984 | 0.770 | 0.000 | 1.258 | 0.000 | 0.000 | 3.981 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 227 | 227 | 155 | 245 | 0 | 1105 | 0 | 252 | 118 |
N.S. | 1 | 1.00 | 0.68 | 1.08 | 0.00 | 4.87 | 0.00 | 1.11 | 0.52 |
time (sec) |
N/A | 0.294 | 1.514 | 0.161 | 0.000 | 1.037 | 0.000 | 0.836 | 5.995 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 173 | 173 | 100 | 233 | 0 | 1080 | 0 | 237 | 103 |
N.S. | 1 | 1.00 | 0.58 | 1.35 | 0.00 | 6.24 | 0.00 | 1.37 | 0.60 |
time (sec) |
N/A | 0.132 | 0.402 | 0.114 | 0.000 | 1.276 | 0.000 | 0.772 | 0.884 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F(-2) | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 156 | 156 | 79 | 221 | 0 | 987 | 0 | 214 | 82 |
N.S. |
1 | 1.00 | 0.51 | 1.42 | 0.00 | 6.33 | 0.00 | 1.37 | 0.53 |
time (sec) |
N/A | 0.105 | 0.073 | 0.091 | 0.000 | 1.360 | 0.000 | 0.750 | 4.147 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | B | F | B | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 178 | 178 | 245 | 6656 | 0 | 1199 | 0 | 346 | 119 |
N.S. | 1 | 1.00 | 1.38 | 37.39 | 0.00 | 6.74 | 0.00 | 1.94 | 0.67 |
time (sec) |
N/A | 0.213 | 17.772 | 0.676 | 0.000 | 1.035 | 0.000 | 1.417 | 0.178 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | B | F | A | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 238 | 238 | 321 | 11278 | 0 | 1343 | 0 | 375 | 173 |
N.S. | 1 | 1.00 | 1.35 | 47.39 | 0.00 | 5.64 | 0.00 | 1.58 | 0.73 |
time (sec) |
N/A | 0.356 | 19.142 | 0.737 | 0.000 | 1.334 | 0.000 | 1.562 | 0.191 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 241 | 241 | 110 | 245 | 0 | 1064 | 0 | 254 | 118 |
N.S. | 1 | 1.00 | 0.46 | 1.02 | 0.00 | 4.41 | 0.00 | 1.05 | 0.49 |
time (sec) |
N/A | 0.271 | 2.614 | 0.128 | 0.000 | 1.327 | 0.000 | 0.873 | 4.416 |